CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal methods
• Isabelle
• Type theory
• HOL
• Automated reasoning
• Computer algebra system
• Vienna Development Method
• Software development

An Implemented Context System that Combines Belief Reasoning, Metaphor-Based Reasoning and Uncertainty Handling John A. Barnden and Mark G. Lee School of Computer Science, The University of Birmingham Birmingham, B15 2TT

Source URL: www.cs.bham.ac.uk

Computational Law Nathaniel Love Michael Genesereth Stanford University

Source URL: logic.stanford.edu

• Artificial intelligence
• Cognition
• Reasoning
• Cognitive science
• Expert systems
• Rule engines
• Computer law
• Computational law
• Reasoning system
• Knowledge representation and reasoning
• Artificial intelligence and law
• Frame language

http://arxiv.org/absFrom Machine Learning to Machine Reasoning Léon Bottou

Source URL: arxiv.org

• Artificial intelligence
• Logic
• Cognition
• Artificial neural networks
• Reasoning
• Computational neuroscience
• Machine learning
• Deep learning
• Word embedding
• Reasoning system
• Probabilistic logic
• Structured prediction

A Knowledge Base System project for FO(.) Marc Denecker Knowledge Representation & Reasoning (KRR) Katholieke Universiteit Leuven July 12, 2009

Source URL: people.cs.kuleuven.be

Towards LarKC: a Platform for Web-scale Reasoning Dieter Fensel (University of Innsbruck) Frank van Harmelen (Vrije Universiteit Amsterdam) Bo Andersson (Astrazeneca AB) Paul Brennan (International Agency for Research on

Source URL: www.cyc.com

• Semantic Web
• Knowledge engineering
• Knowledge representation
• Reasoning
• Artificial intelligence
• Semantic reasoner
• Frank van Harmelen
• Reasoning system
• Web Ontology Language
• Datalog
• Inference
• Ontology

The FO(·) Knowledge Base System project An integration project Marc Denecker Knowledge Representation & Reasoning (KRR) Katholieke Universiteit Leuven

Source URL: people.cs.kuleuven.be

Neuron, Vol. 44, 389–400, October 14, 2004, Copyright 2004 by Cell Press The Neural Bases of Cognitive Conflict and Control in Moral Judgment Joshua D. Greene,1,2,* Leigh E. Nystrom,1,2 Andrew D. Engell,1,2 John M.

Source URL: static.squarespace.com

• Neuroscience
• Brain
• Nervous system
• Cerebrum
• Dorsolateral prefrontal cortex
• Joshua Greene
• Moral psychology
• Anterior cingulate cortex
• Moral development
• Cingulate cortex
• Moral reasoning
• Morality

Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language

Source URL: dept.cs.williams.edu